小林 憲次
小林 憲次は未踏クリエータ。
テーマ "
kVerifierの実用化、及び仕様記述言語との連携
" で
2000年未踏
に採択された。PMは
高田 広章
。
未踏事業採択
2000年未踏
テーマ:
kVerifierの実用化、及び仕様記述言語との連携
PM:
高田 広章
経歴
活動